Public Announcement in Subset Space Logic
نویسنده
چکیده
2 Validity Preserving Operations 5 2.1 Disjoint Unions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2 Generated Subset Spaces . . . . . . . . . . . . . . . . . . . . . . . 7 2.3 Bounded Morphism . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.4 Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.5 Topologic Games . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.5.1 Topologic Evaluation Games . . . . . . . . . . . . . . . . . 11 2.5.2 Topologic Bisimulation Games . . . . . . . . . . . . . . . . 13 2.5.3 Topologic Games in Extended Languages . . . . . . . . . . 14
منابع مشابه
Arbitrary Announcements on Topological Subset Spaces
Subset space semantics for public announcement logic in the spirit of the effort modality have been proposed by Wang and Ågotnes [17] and by Bjorndahl [6]. They propose to model the public announcement modality by shrinking the epistemic range with respect to which a postcondition of the announcement is evaluated, instead of by restricting the model to the set of worlds satisfying the announcem...
متن کاملAnnouncement as effort on topological spaces
We propose a multi-agent logic of knowledge, public and arbitrary announcements, that is interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, and d...
متن کاملSubset Space Logic with Arbitrary Announcements
In this paper we introduce public announcements to Subset Space Logic (SSL). In order to do this we have to change the original semantics for SSL a little and consider a weaker version of SSL without the cross axiom. We present an axiomatization, prove completeness and show that this logic is PSPACE-complete. Finally, we add the arbitrary announcement modality which expresses “true after any an...
متن کاملPublic Announcement Logic in Geometric Frameworks
In this paper, we introduce public announcement logic in different geometric frameworks. First, we consider topological models, and then extend our discussion to a more expressive model, namely, subset spacemodels. Furthermore,we prove the completeness of public announcement logic in those frameworks. After that, we apply our results to different issues: announcement stabilization, backward ind...
متن کاملA Logic for Global and Local Announcements
In this paper we introduce global and local announcement logic (GLAL), a dynamic epistemic logic with two distinct announcement operators – [φ ]A and [φ ] − A indexed to a subset A of the set Ag of all agents – for global and local announcements respectively. The boundary case [φ ]Ag corresponds to the public announcement of φ , as known from the literature. Unlike standard public announcements...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009